Edsger W. Dijkstra - PDFSEARCH.IO - Document Search Engine

Edsger W. Dijkstra
Results: 213

#	Item
61	Computing at school in the UK Simon Peyton Jones, Microsoft Research Bill Mitchell, BCS Academy of Computing Simon Humphreys, Computing At School April 2013 v5 Under review by CACM Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-04-08 03:24:04 Computer engineering Computer science Electrical engineering Electronic engineering Science education National Curriculum Curriculum Educational technology Computing Women in computing Edsger W. Dijkstra
62	Social Networks–96 The accuracy of small world chains in social networks Peter D. Killworth a,∗ , Christopher McCarty b , H. Russell Bernard c , Mark House b Add to Reading List Source URL: nersp.nerdc.ufl.edu Language: English - Date: 2007-02-01 12:43:34 Network theory Networks Graph theory Edsger W. Dijkstra Shortest path problem Small-world network Peter Killworth Markov chain Conceptual model Path
63	Distributed Computing manuscript No. (will be inserted by the editor) A BGP-based Mechanism for Lowest-Cost Routing Joan Feigenbaum1 , Christos Papadimitriou2 , Rahul Sami†3 , Scott Shenker ‡4 1 Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2005-02-14 08:26:45 Routing protocols Internet Standards Internet protocols Routing Edsger W. Dijkstra Border Gateway Protocol Routing algorithms Open Shortest Path First Strategyproofness Shortest path problem Routing loop problem Multipath routing
64	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Concurrency control Edsger W. Dijkstra Monitor Hoare logic Event Semaphore Concurrent computing Pascal XC Flag semaphore ALGOL 68 Unix signal
65	XX ABRA: Approximating Betweenness Centrality in Static and Dynamic Graphs with Rademacher Averages MATTEO RIONDATO, Two Sigma Investments, LP ELI UPFAL, Brown University Add to Reading List Source URL: matteo.rionda.to Language: English - Date: 2016-07-30 12:22:15 Network theory Graph theory Graph connectivity Networks Edsger W. Dijkstra Centrality Betweenness centrality Shortest path problem Randomized algorithm Connected component Line graph
66	Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK Add to Reading List Source URL: www.monmeetings.org Language: English - Date: 2015-09-04 10:24:56 Operations research Edsger W. Dijkstra Network theory Shortest path problem Mathematical optimization Routing algorithms Systems engineering Dynamic programming
67	Disambiguating Road Names in Text Route Descriptions using Exact-All-Hop Shortest Path Algorithm Xiao Zhang⋆ △ and Baojun Qiu⋆⋄ and Prasenjit Mitra⋆† and Sen Xu‡ and Alexander Klippel‡ and Alan M. MacEach Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2012-07-13 14:23:32 Network theory Routing algorithms Edsger W. Dijkstra Graph connectivity NP-complete problems Shortest path problem Distance Path Longest path problem K shortest path routing FloydWarshall algorithm
68	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
69	Measuring Graph Proximity with Blink Model Haifeng Qian, Hui Wan, Mark N. Wegman, Luis A. Lastras, Ruchir Puri IBM T. J. Watson Center, Yorktown Heights, NY qianhaifeng,hwan,wegman,lastrasl, ABSTRACT Add to Reading List Source URL: www.mlgworkshop.org Language: English - Date: 2016-08-14 01:22:56 Graph theory Network theory Edsger W. Dijkstra Graph Shortest path problem Line graph Directed graph Bridge Centrality Pathwidth
70	Microsoft Word - IJTEL60201_Derntl.doc Add to Reading List Source URL: dbis.rwth-aachen.de Language: English - Date: 2015-01-16 09:47:38 Academic publishing Publishing Scientific method Technical communication Abstract Research Thesis Scientific writing Edsger W. Dijkstra Scientific literature Academic writing

UPDATE